#include <stdio.h>

int main() {
	int res=1,i,n;
	scanf("%d",&n);
	for(i=0;i<n;i++)res*=i+1;
	printf("%d",res);
	return 0;
} 